Conceptual Closure in Anselm’s Proof

نویسنده

  • TONY ROARK
چکیده

Gyula Klima maintains that Anselm’s ontological argument is best understood in terms of a theory of reference that was made fully explicit only by later medievals. I accept the interpretative claim but offer here two objections to the argument so interpreted. The first points up a certain ambiguity in Klima’s formulation of the argument, the correction of which requires a substantive revision of the argument’s conclusion. The second exploits the notion of semantic closure introduced by Tarski. Klima offers the atheist an ‘out’ by drawing a distinction between constitutive and parasitic reference. I argue that using Klima’s preferred description (‘the thought object than which no thought object can be thought to be greater’) to refer constitutively to God results in conceptual closure, a condition analogous to semantic closure that renders the instant conceptual scheme inconsistent and subject to paradox. Although the proof ultimately fails, Klima’s development of the notions of constitutive and parasitic reference has important and far-reaching implications.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Conceptual closure in Anselm’s proof: reply to

This paper provides replies to the objections Tony Roark presented (Roark, T. 2003. ‘Conceptual closure in Anselm’s proof’, History and Philosophy of Logic 24) to my reconstruction of Anselm’s famous argument in the Proslogion (Klima, G. 2000. ‘Saint Anselm’s Proof: A Problem of Reference, Intentional Identity and Mutual Understanding’, in G. Holmström-Hintikka, Medieval Philosophy and Modern T...

متن کامل

A Mechanically Assisted Examination of Begging the Question in Anselm’s Ontological Argument

I use mechanized verification to examine several firstand higher-order formalizations of Anselm’s Ontological Argument against the charge of begging the question. I propose three different criteria for a premise to beg the question in fully formal proofs and find that one or another applies to all the formalizations examined. My purpose is to demonstrate that mechanized verification provides an...

متن کامل

The One Fatal Flaw in Anselm’s Argument

Anselm’s Ontological Argument fails, but not for any of the various reasons commonly adduced. In particular, its failure has nothing to do with violating deep Kantian principles by treating ‘exists’ as a predicate or making reference to ‘Meinongian’ entities. Its one fatal flaw, so far from being metaphysically deep, is in fact logically shallow, deriving from a subtle scope ambiguity in Anselm...

متن کامل

Mechanized Analysis Of a Formalization of Anselm’s Ontological Argument by Eder and Ramharter∗

Eder and Ramharter [7] propose requirements to be satisfied by formal reconstructions of informal arguments and illustrate these with their own reconstructions of Anselm’s Ontological Argument: one in classical (higher-order) logic, and one in modal logic. I reproduce and mechanically check their classical reconstruction in the PVS verification system and present this as an illustration of the ...

متن کامل

The reception of Saint Anselm’s logic in the 20th and 21st centuries

St. Anselm of Canterbury’s place in both the history of philosophy and the history of theology is firmly recognized, but his place in the history of logic is often overlooked. We argue that this is primarily the result of four factors: (1) the primary propagator of Anselm’s logical works in the 20th century, D.P. Henry, used a system of logic unfamiliar and objectionable to most mainstream logi...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2002